axiomatic system artinya

• sistem aksiom
• sistem aksioma

• axiomatic:    secara aksioma
• system:    cara; sistem; susunan; efisiensi; jaringan; tubuh
• axiomatic formulation:    perumusan aksiomatik

Contoh

1. Another interesting example is the set of all "true reachable" propositions in an axiomatic system.
   Contoh menarik lainnya adalah himpunan dari semua proposisi "benar terjangkau" dalam suatu sistem aksioma.
2. Euclidean geometry is an axiomatic system, in which all theorems ("true statements") are derived from a small number of simple axioms.
   Geometri Euklides merupakan sistem aksiomatik, di mana semua teorema ("pernyataan yang benar") diturunkan dari bilangan aksioma yang terbatas.
3. At a formal level, an axiom is just a string of symbols, which has an intrinsic meaning only in the context of all derivable formulas of an axiomatic system.
   Pada tingkatan formal, sebuah aksioma hanyalah seutas dawai lambang, yang hanya memiliki makna tersirat di dalam konteks semua rumus yang terturunkan dari suatu sistem aksioma.
4. It was the goal of Hilbert's program to put all of mathematics on a firm axiomatic basis, but according to G?del's incompleteness theorem every (sufficiently powerful) axiomatic system has undecidable formulas; and so a final axiomatization of mathematics is impossible.
   Inilah tujuan program Hilbert untuk meletakkan semua matematika pada sebuah basis aksioma yang kokoh, tetapi menurut Teorema ketaklengkapan G?del tiap-tiap sistem aksioma (yang cukup kuat) memiliki rumus-rumus yang tidak dapat ditentukan; dan oleh karena itulah suatu aksiomatisasi terakhir di dalam matematika adalah mustahil.